Output: [ x in top ]