Choco-logic