Here we are going to dig deep into the theoretical concepts behind the actual logical implementations.