ParentFull threadsimplegeek·Thank you :) I was wondering how this would look in TLA+/PlusCal.View on HN