derived_laws.v 103 KB