Introduction to Aderk