derived_laws_bi.v 63.2 KB