hard formula (.) parsing, translating;