Prophecy (K21extended version)