`` dice procedures .