Abstraction over state variables
