base ops for all semantics; sem 5 and 6 need bugfixing