strengthened logic