updated abstractions, readme