Tag: valve actuation contract