A left example can be verified to fit left by checking only finitely many layers deep vs. not so.
Aaron David Fairbanks