INFJ vs. INTP – Spinoza and Kant compared