Ännu vigtigare vore ett uttryckligt stadgande,