Grothendieck’s use of equality