BLOG - CerT^1[^2!^1]^7x