Logica Abstracta with Amber