How many times had Irenaeus seen a roasted lamb