Upkar's objective arithmetic - Lal