#specificationinference