Some More Reasoning [dev.]