reafact