derived_laws.v 79.5 KB