undefined Richard A. Posner