Hi, I was trying to write a specification for an iterative fibonnaci sequence and decided to try the recursive definition for the method postcondition: public class ...