> once the sub-matrices get small enough,

the next rabbit hole starts when you try to start lifting F_2 into Z for a given <n,n,n> tensor.