Be explicit about property semantics (missed one)