Om det utgjorde ettmängdubbelt