en teoretiskt tillfredsställande valordning utan att skaffa botför