derived_laws.v 83.5 KB