SMS dit: Ordered groups and infinite permutation groups