fixed semantics+ optimisations