first cut at test9: st rule for a.L