see: use with-variables to start a new scope in synopsis
see: use with-variables to start a new scope in synopsis

mrjbq7/factor,tgunr/factor,tgunr/factor,factor/factor,factor/factor,mrjbq7/factor,mrjbq7/factor,tgunr/factor,mrjbq7/factor,mrjbq7/factor,mrjbq7/factor,tgunr/factor,tgunr/factor,factor/factor,factor/factor,factor/factor,tgunr/factor,factor/factor