Detta bör , synes oss ,formuleras