Teaching jessica a specification