Definition: In computer science, a "superclaim" is a special kind of claim that can be made about a variable or object without actually modifying it. This is done by using the concept of "super" in programming languages, which stands for "super class". For example, consider a function `myFunction` that takes an integer as its argument and returns another integer. The superclass of `myFunction` is usually `int`, but if you try to call it with a non-integer
what should be said.