New deterministic protocol : more precise, maybe slower... . Works fine