Proper use of double-bracket