Apparently Graeme's approach to infinite sloop spaces or rather to one fold loop spaces has be further abstracted to produce what is known as a `Segal category' at a quick glance, it seems to me these are related to Fukaya's A_\infty cats as my approach to \Omega X is related to Graeme's anyone seen this worked out or even commented on? jim