Divisible.validate_mod
Restriction.restrict_child for child restriction