Bae's Theorem comments on [Insert clever intro here]