Identity at time is an indiscernibility relation for a significant class of properties of continuant persons: those properties of a person which are logically determined by the properties of his stage at.