push for double and new maxisets