Remove apply from reg001 since it's in the prelude!