Non-Asimov lawsets commented out. Double Asimov so proc doesn't break.