stupidity prove notation stain capstan canker derived marked