Input Invariants