Ineke Loots and Jan Bergstra