Use equ instead of defl because it fits our purpose better.