Made progress on semantics