A bit of Statement documentation