Figure:
Gate
endpoint constraints in MSC (dialect)
Open figure