Sufficient Conditions for STLC (cont'd)