Are the semantics okay here?