Consistency conditions for fundamentally discrete theories