Greg egan's permutation city