deleted no param method in semantics