derived_laws_bi.v 63 KB