debugging
fix set notation