assert - logic corrections