Text this: Interaction and Depth against Nondeterminism in Proof Search