Comments on “What is called enlightenment?”