Bored in class margin doodles, version #13464: