Comment by hater on Certifiedsimp

@Certifiedsimp because idris is more superior