J: checked check 1 & 11b, & while/if