Let T={1,2,,tmax} be a set of times (measured in minutes, let's say), and let J be a set of jobs. Let scheduledAt be a predicate so that scheduledAt(j,t) is true if and only if job j is scheduled at time t. (Assume that jobs do not last more than one minute.) Formalize the following conditions using only standard quantifiers, arithmetic operators, logical connectives, and the scheduledAt predicate.

Job C is run at most twice.