Came up with fact-fix fusion in order to properly generate first_gt within sorted-flatten. Not quite working yet though.