Indeed, there needs to be some sort of connection between the truth and the justification, not just "true && justified". The problem is that when you're workin

Indeed, there needs to be some sort of connection between the truth and the justification, not just "true && justified". The problem is that when you're working at such a low level as trying to define what it means to know something, even simple inferences become hellishly complicated. It's like trying to bootstrap a web app in assembly.