Backward chaining almost k