Added naive formula generator