Formalized Vector Art (97+)