fl * f | * fl * fa * f | * fp * f & * fl * fl*