Definition b := false.