Inquiry by Specification