Lagen är formel , menden