def foo1(x):
    """
    Returns x+1
    
    Parameter x: The number to add to
    Precondition: x is a number (int or float)
    """
    assert type(x) in [int,float], repr(x)+' is not a number'
    
    return x+1