capturing initial symmetries
this is tricky
wrote dynamic solver test
started implementing dynamic solve