Updated the semantics post with a new after post