Di bawah ini merupakan hukum-hukum formal, kecuali ...