Warum ist es nicht üblich,einen Kongruenzsatz sww zu formulieren?