Ceva and Menelaus Using Directed Segments