amadeus prover