unboundeds syntax