Psmt Observations And Assumptions Of Linear