default_strategy services, partition, get_turns, strategies.
(where validity is defined as: if less(arg1, arg2) is true, then it must hold that less(arg2, arg1) is false)