discipline — type of whip used in religiously-based flogging