eliminate premature "Theorem", see #519