def square(x):
    """precondition: x is a number
postcondition: returns the square of x"""
    return x*x

print(square.__doc__)