“two-finger double tap” is another name for Magic tap.