_ => - in definitions