M:t i d , hproposition