derived_laws_bi.v 62.2 KB