We use **inclusion-exclusion over forbidden adjacents**, but that becomes intractable due to multiple overlapping cases. - Ready Digital AB