Adding debugging info to validate facts