Various attempts to solve sub logic