use system 'prove'