CNF

@Hoss93 
set to variable_name for understanding