Yes thank you. And the same misundestanding comes up when people thing Goedel's incompleteness results precludes mechanical theorem proving.