derived_laws.v 107 KB