Formal Linear - Open June