Psmt Observations And Experiments