derived_laws.v 67 KB