Remove the logic stuff because I really do not have the time to figure it out formally, let's stay visually informal