If c = s1 on day 1 and c = s2 on day 2, then by transitivity of identity, s1 = s2, which contradicts...