LIBTARD Logic