fin var ( | , a | a_