statement
uploaded ladder paradox illustration
illustration
todo