Necessary Conditions for STLC