WIP - expose and check semantics