Inferentialism loading ...