how do ETBs worded like that work with Panharmonicons? does trigger doubling result in 2 landers, or does it have to be worded with "then" after the punctuation?