Add note about using finalization to replace constraints w/predicates