Requirements for declarative statement

• deterministic
• isomorphic * pure—lacks side effects
• reactive