include "basic_2/computation/fpbg_fpbg.ma".
include "basic_2/computation/fpbr.ma".
-(* RESTRICTED "BIG TREE" ORDER FOR CLOSURES *********************************)
+(* RESTRICTED "BIG TREE" PROPER PARALLEL COMPUTATION FOR CLOSURES ***********)
(* Advanced forward lemmas **************************************************)