Mänga satser , som synas warateoretiskt