h logics

proven and tested ;)