Why is this algebraically equivalent?