• Engineering intuition to check for overall correctness