Proves intro