To verify this, type: