if abct≤0 then