This is why we should stick to a constructive logic :)