add selection proof to match3