concl slightly changed