Before revision:  we show that a minimal normal form still exists, but is NP-hard to compute.
After revision:  we show that a minimal constraint graph still exists, but is NP-hard to compute.