logic.ijs: cleaned up comment for 'given'