A simple instance of logics from the Charge! framework.