Finalized laws logic