⋀FT∑R L∤F∑