We explore a new computational approach to a classical problem: certifying non-freeness of (2-generator, parabolic) Möbius subgroups of SL(2, $\mathbb{Q}$). The main tools used are algorithms for Zariski dense groups and ...