derived_laws.v 106 KB