More rigorous attempt