Updated semantics
Version 0.0.3