wip before recitation. temporary fix for being relaxed. still need to do proof, and guarantee sub-tp reg.
reordering to allow reg