computational procedure