My work so far on implementing the semantics