Finished debugging semantic_helpers