proceed at

proceed at definitions