derived_laws.v 98.8 KB