Clean up Prior implementations (now thread-safe)