“Big IF true. Substantial IF substantiated.”