Liberal logic by Owen Shroyer