type(ok and ok)
