a couple of comments in ConditionalBuffer & Machine