ghost town subgroup of town, 4 assertions