Add some laws for the algo