The argument from premises 1, 2, and 5 to statement 6 is either sound but not heretical, or unsound ...