Tightening pass on subclasses of Aspect