added 28, linear&bilinear completed, TODO proofs