interval 0 -> interval 1 when synthesis