ADDED: BINOP printing. (Incomplete)