@aeva The main problem is that to obey the constraints can take an unbounded amount of backtracking (again, this is what makes it truly aperiodic!)