This appears to have been a denkfehler on my part.