Solved A functionality with a combination of hand analysis and guess and check assisted by the B functionality build