Notation - half imp