Notation bad for proposals, fixt