( [ fa3 ?lcvcdson.