checkpoint: this is where I ran the symmetric-c-element tests