applied logic