doc for the within function