27, theorems completed, needs proof for result