Added randomness, healing, and crt