Problems: Algebraic variables can have any type, e.g., it is common to have Boolean variables. For example, in a simple bouncing ball model there could be a Boolean variable "flying" that defines ...