correct expressions, and definitions for L and a