comptheory - introduction