checked

type checked.