#closed-specification