Proposition ) , ochom