, proposition vere attbetrakta