not ground variables behaviour