start of concl & eval