Do not bother to assume zero theorems