New Tools to Help You Create Specifications Even Faster!