Is there an easy algebraic characterisation of¶universal proper G-spaces?