fixed cons in semantics, defined horizon