All expressions fleshed out