NullPointers are dealt with and hard constraints are finished.