AI-generated Images of Formalises