selector calculus