The Atomic Lambda Calculus Part Two