Revised examples and added two more extensions