SOL works on time in proof and is not suitable for institutions