linker axioms case not working