Desynthesizable should no longer be unique

Printable View