|entries|arrows-theorem|