Two functions f and g are equal if they have the same internal structure: Source code Deterministic No hidden inputs (PC, mutable Global Variables)