also steps form in

lines echo through static proof✕