Formal Methods in Developmental Psychology