Full check now also bounded, needs testing.