Https Ameli Declare Synonym