comment for disprove