! - предикат отсечения.