Algorithms based via pi lambda mu calculation