ordering for FO