derived_laws.v 101 KB