Deferred constraint checking

Original text of this message