axle.logic Eq[Statement]