Working inner product (not fully parametric yet)