Changes in logic with Lorin's help