derived_laws_later.v 21.6 KB