Let AA be a countably infinite graph, and BB a countably infinite graph which contains AA as an induced subgraph; let α\alpha be an automorphism of AA; is there an embedding of BB in the Rado ...