tai42-contract<3,>=2.0
