Proving Ring Analysis by s1837453 | SimScale...