true -> sum b:Bool.tau <> delta
