finitely_complete