P
Initializing...
Block inputs hold for all sufficiently large $T$ · Prove2Me