Generated through PPL "b"