formal heresies