leaving for lunch, debugging productions for DM interpretation