Sorry, no theorems, etc. yet.