A few more hypotheticals for the JITD language