this idea is relevant as in any other field that uses classical logic