description of conservative causality check