/spec/lib/proof