Example with using REA