A precongruence format for should testing preorder
scientific article; zbMATH DE number 5712837