My system is based on his, though of course I have progressed rather further. 
I have not progressed very far with this type of system.  
mnli hypothesis: I have not progressed very far with this type of system.   premise: My system is based on his, though of course I have progressed rather further. 