Groundness check
Format the main example more readable