Working implementation after testing of k1as