remove recursive version - as not proving its own complexity