Apa kesalahan postcondition di Python

def mystery(num1, num2):
    new_num = num1 / num2
    is_square = True
    if new_num == num2:
        is_square = True
    return is_square
GFr