Definition b := true.