Remove loading first law
Release 0.8.25n