3 ms·

{x: has_security_clearance(x) = true}