Describir: The Aizerman and Kalman conjectures using symmetry