Formalized Vector Art (92+)