{[(<*> LTLB_WFF),(<*> LTLB_WFF)]} ^ = {(TVERUM '&&' TVERUM)}