bring True/False in line as first class elements, rewrite and_()/or_() to use short circuiting