Laramie county district court proceedings.