scompperm.  kind of an interesting and different proof pattern.