Kodable Loops and Booleans