What sort of Redeemer is needed to bring us back to God and why must the Redeemer be truly human?