“An introduction to nonstandard methods in fixed point theory: ultrafilters and ultrapowers.”