Use a subformulae for this!