Tutorial Introduction to Aladdin