Proof-instrumental-

Proof／no vain MELL 1180454400000