Theorem statement looks like a line from a bad song