Update specs to prophecy