bool HealedInGospels(person) {}
    switch (ProximityWith<Jesus>(person))
        case Touching :
            if (Jesus.Says("Be Clean"))
                return true; // Remove leprosy

            if (person.Is<Woman> && Jesus.Touches(person.Hand))
                return true; // Cure fever

            if (person.Is<Woman> && person.Touching(Jesus.Cloak))
                return true; // Bleeding stops

            if (person.Is<Girl>
             && Jesus.Touches(person.Hand)
             && AreAlone(Jesus, person))
                return true; // Rise from dead

            if (Jesus.Touches(person.Eyes))
                if (person.ProfessBelief OR person.AsksFor(MercyAndHealing))
                    return true; // Regain sight

            if (Jesus.Touches(person.Head))
                return true; // Healed & have demons leave

            if (person.IsDead && person.Is<Boy>
             && person.Lying<OnStretcher> && Jesus.Says("Get up"))
                return true; // Raised from dead

            if (Jesus.Mixes(Mud, Spit).PlacesOn(Person.Eyes) && person.Wash(InPool))
                return true; // Sight given to blind person

        case NearBy :
            if (Jesus.Says("Come out of him"))
                return true; // Drive out evil spirits

            if (InSynagogue(person) && InSynagogue(Jesus))
                return true; // Heal every disease & sickness

            if (person.On(mat) && Jesus.Says("Be healed"))
                return true; // Can walk again

            if (person.Is<Boy> && Jesus.Rebuke(Inner.Demons))
                return true; // Demons leave

            if (AlsoNearby(PhariseesLookingForTrouble)
             && Jesus.Says("Stretch out hand"))
                return true; // Hand healed

            if (person.PossessedBy(Demons.Many) && Jesus.DrivesOut(Demons))
                return true; // Demons leave (& enter pigs)

            if (person.Is<Woman> && Jesus.Says("You are freed of your infirmity"))
                return true; // Arthritis cured

            if (Jesus.Says("Go, show yourselves to the priests")
             && person.Thank(Jesus))
                return true; // Leprosy cured

            if (person.AsksFor(Healing) && person.Has(Faith))
                return true; // Sight restored

            if (person.At(Pool)
             && Jesus.Says("Get up, pick up your mat and walk")
             && person.Acts)
                return true; // Lame person walks

            if (person.Is(Lazarus) && Jesus.DeeplyMoved && Jesus.Weeps && Jesus.Prays)
                return true; // Lazarus comes back to lif

        case FarAway :
            if (ProximityWith<Jesus>(person.Friend) == NearBy
             && person.Friend.Has(GreatFaith))
                return true; // Healed

            if (person.Is<Girl> && ProximityWith<Jesus>(person.Mother) == NearBy
             && person.Mother.Has(GreatFaith))
                return true; // Demons cast out

    return false; // But didn't need healing.
}