Formalised Curiosity's Connections