You are here

formal condition