Adding dependency on QuickSpec 0.9!