snoc parameter -> reverse parameter for efficiency.