+closed and def