Examples will make a definition more concrete.
ATrue
BFalse
ATrue
BFalse