WIP: brute forcing the enumeration of assignments