derived_laws.v 81 KB