Logic Without Rewrite