|entries|epsilon-calculus|