Https Ameli Declare The Provable Truth