Some unproven properties