Title: Isaac, a type of redeemer