Rule of Thumb: Preconditions Should Be Public · HackerTrans