The partitioning vertical lines here remind me of the separating axis theorem that we went over previously in class