matjet?:1 above seems to work. a and b are then miai. (not sure if this page edit will work)
Referenced byXuanxuanQijingPro...