derived_laws_bi.v 66.7 KB