Very elegant foundational result. However, I can't give it five stars, because it is annoying to determine the inputs in nontrivial cases.