Covenant example. 8x-x^(2)≥0. Remember quotes in english funny. Boto3 lambda python.