Extensional fault
 
x
OK