Leaving
Pure Datalog

Arithmetic and strings buy power, and lose the guarantee.