Refletive Abstractions