document the usage of voided Statements