Cleaned up Implicit examples