Is Peter Crawley and Robert Allen one and the same person? I thought Peter Crawley was Robert Allen's alias. Can anyone clarify this?