check reducability, closes #590