gave up temporarily proof of shift register
report progress before Vienna