'G' ({} LTLB_WFF) = {} LTLB_WFF