These techniques enable us to understand definitions and to judge the correctness of arguments in any scientific domain.