Formalised Curiosity Follows