Saticoy Library: Self-Check