AI-generated Images of assertions