Extension by definitions
 
x
OK