Code semantics and a README