Non-commutative Laurent phenomenon for two variables · wovepaper