explicit conditions