An Introduction to Proteus, Version 0.9