En svårighet i formelt hänseendehade