derived_laws_bi.v 66.2 KB