introducing BunTrueNode, BunFalseNode