applications and theory
