WIP: different eigsent encoding