added some references, and begins anew on inference.