(Not needed for now): Would be nice to have counter examples and how to solve them