Reformatted code; added FUTURE.