working on specification of operators