presence and uniqueness