silly double equals inside `[`