Learned logic AGAIN!