Library for Marvin's Mittens