check expressions