Proper enbracketing