how logic proves eternal security 6