reusable show_row and atomic formulas