Updated the Prophecy constraint