Helpers for closure algorithm