Paraller computation
Extended Moore and inclusions