Completed extension interpretation