Got the new rules-based QuickSpec working!