More experiments with the specification