Sufficient Conditions for STLC