satisfaction relation written (1st draft)