derived_laws_bi.v 61.7 KB