Clean up assertions/refutations