Understanding Terminal Types