diff repr of boolean