You can rename `profile` to `redeemer` here and delete line 17