We start working with more complicated logic