KCoq view 1