Title: Algorithms and logical trees