Semantics II - Spring 2018