Introduced formal definitions of instructions.