fixed ambient calculus