What type of law is still in practice in which heresy results in execution