WIP: Finger spanning for rule processing
Declare pairwise sort vars to avoid warnings