First attempt at the invalidity heuristic for SL.  Results are
promising!