John Stones became City's eighth summer signing on Tuesday morning.