判断两个λ表达式是否等价的问题是无法解决的。
The power of the legislative being derived from the people by a positive voluntary grant and institution, can be no other than what that positive grant conveyed, which being only to make laws, and not to make legislators, the legislative can have no power to transfer their authority of making laws to any other hands.