cleaner buffer denotation