A Logic LU for Understanding