The Mathematics of Maybe