I think an exception would be in order if this clause isn't fulfilled.