The statement "jeff is laughing" is true because jeff knows something is funny.